41. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
پدیدآورنده : Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
42. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده : Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
43. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
44. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
45. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده : Yuri Gurevich...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
46. Adaptive information processing : an introductory survey
پدیدآورنده : Sampson, Jeffrey R
کتابخانه: (طهران)
موضوع : ، Machine theory,، Information theory in biology,، Artificial intelligence
رده :
QA
267
.
S25
47. Adaptive information processing: an introductory survey
پدیدآورنده : Sampson, Jeffrey R. 2491-
موضوع : ، Machine theory,، Information theory in biology,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
48. Advanced digital logic design : using VHDL, state machines, and synthesi for FPGAS
پدیدآورنده : Sunggu Lee
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Logic design--Data processing,Digital electronics,Verilog (Computer hardware description language),Sequential machine theory,Application specific integrated circuits
رده :
TK
,
7868
,
L6L44
,
2006
49. Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs
پدیدآورنده : Lee, Sunggu
کتابخانه: (طهران)
موضوع : ، Logic design -- Data processing,، Digital electronics,، VHDL )Computer hardware description language(,، Sequential machine theory,، Application specific integrated circuits
رده :
TK
7868
.
L6L43
50. #Advanced digital logic design using verilog, state machines, and synthesis for FPGAs
پدیدآورنده : #Sunggu Lee
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Logic design ،Digital electronics. ،Verilog )Computer hardware description language( ،Sequential machine theory. ،Application-specific integrated circuits
رده :
#
TK
،#.
L6L44
،#
2006
51. Advanced mapping of environmental data
پدیدآورنده :
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geology- Statistical methods,Machine learning,Bayesian statistical decision theory
رده :
QE33
.
2
.
S82A35
2008
52. Advanced mapping of environmental data
پدیدآورنده : / edited by Mikhail Kanevski
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geology, Statistical methods,Machine learning,Bayesian statistical decision theory
رده :
QE33
.
2
.
S82A36
2008
53. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Geology -- Statistical methods,Machine learning,Bayesian statistical decision theory
رده :
550
.
1519542
A244
54. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده : edited by Mikhail Kanevski
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Geology - Statistical methods,، Machine learning,، Bayesian statistical decision theory
رده :
QE
33
.
2
.
S82
A35
2008
55. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده : edited by Mikhail Kanevski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Statistical methods ، Geology,، Machine learning,، Bayesian statistical decision theory
رده :
QE
33
.
2
.
S82
A35
2008
56. Advanced mapping of environmental data :geostatistics, machine learning, and Bayesian maximum entropy
پدیدآورنده : /edited by Mikhail Kanevski.
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (طهران)
موضوع : Geology--Statistical methods.,Machine learning.,Bayesian statistical decision theory.
رده :
QE
33
.
2
.
S82A35
2008
57. Advances in Bayesian networks
پدیدآورنده : José A. Gámez, Serafín Moral, Antonio Salmerón (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bayesian statistical decision theory -- Data processing.,Machine learning.,Neural networks (Computer science)
رده :
QA279
.
5
J674
9999
58. Advances in Petri Nets 1985
پدیدآورنده : edited by G. Rozenberg
کتابخانه: (طهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
222
59. Advances in Petri Nets 1987
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
266
60. Advances in Petri Nets 1989
پدیدآورنده : Grzegorz Rozenberg )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
424
